價格：免費
更新日期：2019-05-21
檔案大小：2.6M
目前版本：1.0
版本需求：Android 4.1 以上版本
官方網站：mailto:john.saetti@gmail.com
Using deduction to prove the validity of an argument is not unlike playing one of the many board games. In checkers, for example, there is a board and a set of tokens. You move the tokens on the board according to a set of rules to achieve a specific goal. In a deductive proof there is a set of premises and a conclusion. The goal is to manipulate the premises with a set of inference rules to derive the conclusion. No prerequisites are needed to use this app. It contains ample documentation for the user.
Enjoy the app.
